// Copyright (c) 2011 The Chromium Authors. All rights reserved.
chrome.tabs.onUpdated.addListener(function(tabId, changeInfo, tab) {
  chrome.tabs.executeScript(
      null, {file:"tab_script.js"});
});
